Add a new symbol

gtk_widget_get_modifier_mask was added recently.

diff --git a/docs/reference/gtk/gtk3-sections.txt b/docs/reference/gtk/gtk3-sections.txt
index 3fdfeed9d7fb13902e79eaf5bc588aade69f8546..b9c9fb80166b88458af881f5d02422b5aa09a660 100644 (file)
--- a/docs/reference/gtk/gtk3-sections.txt
+++ b/docs/reference/gtk/gtk3-sections.txt
@@ -5202,6 +5202,7 @@ gtk_widget_set_mapped
 gtk_widget_get_mapped
 gtk_widget_get_requisition
 gtk_widget_device_is_shadowed
+gtk_widget_get_modifier_mask
 
 <SUBSECTION>
 gtk_widget_get_path

diff --git a/gtk/gtk.symbols b/gtk/gtk.symbols
index b7baf794e50394629d9bb942bb8086f2e946ea89..157cacfc0c63de16c66a9ca668eae2d7d90b0f73 100644 (file)
--- a/gtk/gtk.symbols
+++ b/gtk/gtk.symbols
@@ -3542,6 +3542,7 @@ gtk_widget_get_margin_bottom
 gtk_widget_get_margin_left
 gtk_widget_get_margin_right
 gtk_widget_get_margin_top
+gtk_widget_get_modifier_mask
 gtk_widget_get_modifier_style
 gtk_widget_get_name
 gtk_widget_get_no_show_all